The reachability problem of synchronizing transitions bounded Petri net systems (BPNSs) is investigated in this paper by......